Idempotent Generated Endomorphisms of an Independence Algebra

Idempotent Generated Endomorphisms of an Independence

Algebra

Joao Araiijo
February 1, 2011

Abstract

The aim of this note is to give a direct proof for the foUowing result proved by
Fountain and Lewin: Let A be an independence algebra of finite rank and let a be
a singular endomorphism of A. Then a — ei . . . Cn where ef = et and rank{a) —
rank{ei).

2000 Mathematics Subject Classification: 20M10.

We assume the reader to have a basic knowledge of independence algebras. As ref-
erence we suggest [3J. Throughout this note A will be an independence algebra of finite
rank {rank{A) > 2) and with universe A. By End{A) and PEnd{A) we will denote, re-
spectively, the monoid of endomorphisms and of partial endomorphisms of A, and Aut{Ai)
will be the automorphism group of A. Moreover, End{A) \ Aut{A) is the monoid of sin-
gular endomorphisms and will be denoted by Sing{A). For a € PEnd{A) and X C A,
denote by A(a),V(a), respectively, the domain and the image of a, and denote by a\X
the restriction of a to X. The following proof is inspired by |1] and goes as follows:

(1) for every a € Sing{A) there exists an idempotent e G End{A) and a partial monomor-

phism a' such that a = ea' (with V(e) = {E) = Aa' and V(a') = (Ea), for some
independent set E);

(2) there exist idempotents ei,...,e„ G PEnd{A) such that rank{ei) = rank{a) and

{E)ei ... en = Ea;

(3) for every / E Sym{Ea) (the symmetric group on Ea), there exist idempotents

/i) • • • ) /m € PEnd{A) such that rank{fi) = rank{a) and / = (/i . . . fm)\Ea]

(4) finally, using (2), a'\E : E Ea can be factorized as a'\E = {ei . . .enf)\E, with

/ G Sym{Ea), and hence, by (3), we have a'\E = (ei . . . Cnfi ■ ■ ■ fm)\E, so that
a = ea = ea' = eei . . . e^/i ■ ■ ■ fm-

We start by proving (1). Let a G Sing{A). Since End{A) is regular there exists an
idempotent e G End{A) such that ea = a (and rank{e) = rank{a)). Moreover, if is a
basis for V(e), we have

\Ea\ < \E\ = rank{e) = rank{a) = rank{ea) = rank{{E)a) = rank{{Ea)) < \Ea\.

Therefore rank{{Ea)) = \Ea\ and hence Ea is independent. Since \E\ = \Ea\ and Ea is
independent, then a\E is 1 — 1 and a\{E) is a monomorphism. It is proved that a = e{a\{E))
and (1) of the scheme above follows.

For the remains of this note a, e, E and Ea are the objects introduced above and are
fixed. We now prove (2). Let / = rank{a) and let Ki = {B C A \ \B\ = I and B is independent}.
Consider in Ki the following relation: B2) € p if and only if \Bi \ -B2I ^ 1-

Lemma 1 For some natural number n > we have {E, Ea) E p" .

Proof: Let ^E = {C e Ki \ {E, C) e p"", for some natural m}. Now let C e^E such that
for all D G"[E we have |Cni?a| > \Dr]Ea\. We claim that C = Ea. In fact, if by contradic-
tion C 7^ Ea, then there exists d € C\Ea (as \C\ = \Ea\). Therefore, for some c G Ea, we
have c ^ (C\{d}) (since we cannot have Ea C (C\{d}) as rank{{C\{d})) < rank{{Ea))).
Thus Co = (C \ {d}) U {c} G Ki and (C,Co) € p. Since {E,C) G and (C,Co) G p it
follows that (£■, Co) G p^+^ so that Cq £.^E and |Co n£^a| > \Cr\Ea\, a contradiction. It
is proved that C = E'a and hence Ea Gt^. ■

We observe that the key fact used in the proof of this lemma is a well known property
of matroids (see [Ij, Exercise 1., p. 15).

Now let E = E1PE2P ■ ■ ■ pEn-ipEn = Ea. We claim that, for every z = 1, . . . , n — 1,
there exist two idempotents ej.i,ei^2 G PEnd{A) such that (-Ej)ej_iej_2 = -^i+i. In fact let
D = EiH Ei+i so that Ei = D U {x} and Ei^i = DU {y}. Then either y ^ {D U {x}) or
y G {DU{x}).

In the first case, D' = D Li {x, y} is independent. Thus we can define a mapping
f : D' D L) {y} hy xf = yf = y and df = d, for all d D. This mapping /
induces a partial idempotent endomorphism Cj^i : {D') —^{DU {y}) such that {Eijen =
{D U {x})ei,i = DU{y} = Ei+i. (Let 6^,2 = ei,i).

In the second case, rank[{D U {a;, y})) = rank{{D U {x})) < ranA;(^) and hence there
exists z ^ {DU{x,y}). Therefore D[j{x,z} and DU{y,z} are independent sets and hence
there exist two idempotents ei_i,ei^2 G PEnd{A) such that ei^i\D = ido = e.i^2\D, xei^i =
zei^i = z and zei^2 = y^i,2 = V- It is obvious that (L> U {a;})ej^iej^2 = -D U {y} and hence
{Ei)ei^iei^2 = -E'i+i- We have constructed idempotents ei^i, ei^2, ■ ■ ■ , en,i, en,2 ^ PEnd{A)
such that (-E)ei^iei^2 • • • en-i,ien-i,2 = and hence (2) is proved.

Observation 2 Observe that in both cases considered above, and for all i = \, . . . ,n — \,

we have V(ei,i) < A(ej,2) and V(ei,iej,2) < A(ei+i,i).

Lemma 3 Let Sym{Ea) be the symmetric group on Ea and let (xy) G Sym{Ea) be a
transposition. Then there exist idempotents fi, f2, /s G PEnd{A) such that f = {fif2f3)\Ea
and rank(fi) = rank(a).

Proof: Since \Ea\ < rank{A) there exists z ^ {Ea) and hence Ea U {z} is independent.
Let /i, /2, /s be idempotents of domain {Ea U {z}) defined as follows: xfi = z = zfi and
ufi = u, for the remaining elements of Ea; x/2 = x = y/2 and u/2 = u, for the remaining
elements of Ea; zf^ = y = yfs and ufi = u, for the remaining elements of Ea. Hence
{x)fif2h = {z)f2h = {z)h = y and {y)fif2h = {y)f2h = {x)h = x. Moreover, for all
h G Ea \ {x,y}, (6)71/2/3 = b. It is proved that {fif2f3)\Ea = (xy) and it is clear that
rank{fi) = rank{a). ■

2

Lemma 4 Let f S Sym{Ea). Then there exist idempotents /i, • • • ,/m G PEnd{A) such
that / = (/i . . . fm)\Ea and rank{fi) = rank{a).

Proof: Clearly {Ea)f = {Ea){xiyi) . . . {xmUm), since every permutation of a finite set
can be decomposed in to a product of transpositions. Now the result follows by repeated
application of the previous lemma. ■

Observation 5 Observe that, for all the partial idempotents fi considered in the proof
of the two previous lemmas, we have ^{fi) = {Ea U {z}) and V(/i) = {Ea). Thus
V(/,) < V(/i+i).

Lemma 6 Let io,ii G PEnd{A) and suppose that V(io) < Then there exist

/3o,/3i € End{A) such that (/3o/3i)| A(io) = ioii, rank{j3j) = rank{ej) and if ij is idempo-
tent, then /3j is idempotent (j £ {0, 1} ).

Proof: Let io : (Bq) — > (Cq) be a partial endomorphism {Bq,Co are independent sets).
Then we can extend Bq,Cq, respectively, to B,C, bases of A and define f^Q : A ^ A
such that /3o|-Bo = io and {B \ Bq)I3q = {c} C Cq. In the same way we extend ii to
/?i S End{A). Therefore /3o|A(io) = io and V(/3o) = V(io)- Thus (/3oii)|A(io) = ioii and
(/3o/3i)|A(io) =ioii. ■

Theorem 7 (Fountain and Lewin J^) Every a £ Sing{A) is the product of idempotents
ei, . . . , e„ G End{A) such that rank{a) = rank{ei).

Proof: Let a G Sing{A). Then there exists an idempotent e (with V(e) = {E)) and
a partial monomorphism a' = a\{E) such that a = ea' . Moreover a' maps the basis
E of V(e) into a basis Ea of V(a). We proved that for some idempotents ei, . . . ,6^ G
PEnd{A) we have {E)ei . . . = Ea. Let h = ei . . .e^ and consider / G Sym{Ea)
defined by {xh)f = xa, for all x £ E. It is obvious that {ei...ekf)\E = a\E and
hence (ei . . . ek4>)\{E) = a\{E) = a', where (/> G Aut{{Ea)) is (the automorphism) induced
by /. Therefore eei...ek4> = ^o! = a. It is also proved that for some idempotents
/i, • • • , /n G PEnd{A) we have / = (/i . . . f„)\Ea. Thus (/> = (/i . . . /„)|(^a) and hence

a = ea' = eei . . . efc(/> = eei . . . efc(/i . . . fn)\{Ea) = eei . . . Cfe/i . . . /„

(since V(eei . . . Ck) = {Ea)). To finish the proof we only need to show that the idempotent
partial endomorphisms used above can be replaced by idempotent total endomorphisms.
This follows from Observations [2] and [5] and the previous lemma. ■

Acknowledgments: I wish to express my deepest gratitude to the referee for suggesting
many improvements to this note and also to Professor Gracinda Gomes.

References

[1] J. Araiijo, On Idempotent Generated Semigroups, Semigroup Forum, 65 (2002), 138-
140.

3

[2] J. Fountain, A. Lewin, Products of idempotent endomorphisms of an independence
algebra of finite rank, Proc. Edinburgh Math. Soc. 35 (1992), 493-500.

[3] V. A. R. Gould, Independence algebras, Algebra Universalis 33 (1995), 327-329.

[4] J. G. Oxley, Matroid Theory, Oxford University Press, (1992).

Universidade Aberta

R. Escola Politecnica, 147

1269-001 Lisboa Portugal

Centro de Algebra

Universidade de Lisboa
1649-003 Lisboa Portugal
mjoao@lmc.fc.ul.pt

4